Nederlands relaxatiekrimp (de) Frans retrait par relaxation (le) Duits Relaxationsschrumpfung (die) Engels relaxation shrinkage